#include<stdio.h>

int main(void)
{
	/* 正负号控制 */
	int sign=1;
	int i;
	/* 4*pi */
	double pi_div_4=0;
	for(i=0;i<=1000;i++)
	{
		pi_div_4=pi_div_4 + sign * (1.0/(2*i+1));

		/* 正负 变换 */
		sign=-sign;
	}
	printf("%.4lf\n",pi_div_4*4);
	return 0;
}
